Logic Control - PDFSEARCH.IO - Document Search Engine

Logic Control
Results: 840

#	Item
341	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-05-25 19:52:52 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
342	Command reference for cm_cli/cm_cli_tty/cm_cli_ex Introduction “cm_cli” and “cm_cli_tty” are command line interfaces to the core logic of the Linux-based firmwares of the Texas Instruments AR7* routers. The comma Add to Reading List Source URL: www.gironsec.com Language: English - Date: 2015-01-13 23:40:56 Modems Point-to-point protocol over Ethernet Echo Point-to-Point Protocol over ATM Computing Logical Link Control Tunneling protocols
343	20th International Congress on Modelling and Simulation, Adelaide, Australia, 1–6 December 2013 www.mssanz.org.au/modsim2013 Fuzzy Representation and Aggregation of Fuzzy Cognitive Maps Mamoon Obiedat and Sandhya Samar Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-11-19 22:03:18 Mathematics Fuzzy cognitive map Fuzzy control system Centrality Fuzzy set Membership function Fuzzy logic Logic Mathematical logic
344	Modelling the Pullout Capacity of Marquee Ground Anchors Using Neurofuzzy Technique Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 18:49:54 Artificial intelligence Logic in computer science Anchor Ship construction Defuzzification Fuzzy control system Cone penetration test Control theory Training set Logic Fuzzy logic Science
345	Symbolic Dynamic Programming for First-order POMDPs Scott Sanner Kristian Kersting NICTA & ANU Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-04-14 03:16:52 Markov processes Stochastic control Mathematical sciences Mathematical optimization Logic programming Partially observable Markov decision process Markov decision process Situation calculus Optimal control Statistics Control theory Dynamic programming
346	X-GO Flex Logic Control Documentation (Cluster[removed]Bit) SYBERA GmbH © 2013 Date: Oct,[removed] Add to Reading List Source URL: www.sybera.de Language: English - Date: 2014-10-30 13:40:28 Fieldbus SERCOS III EtherCAT PROFINET SERCOS interface Adobe Flex FLEX Technology Industrial Ethernet Automation
347	Computational Disclosure Control A Primer on Data Privacy Protection by Latanya Sweeney Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2001-01-08 09:01:42 Mathematics K-nearest neighbor algorithm Applied mathematics Artificial intelligence Algorithm Mathematical logic Theoretical computer science
348	A brief introduction to Ada 2012 by John Barnes Chapter 2 - Expressions Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-07-05 09:44:30 Procedural programming languages Quantification Predicate logic Semantics Data types Conditional ALGOL 68 Control flow Switch statement Software engineering Computing Computer programming
349	18th Euromicro Conference on Digital System Design Funchal, Madeira, Portugal - August 26-28, 2015 DSD 2015 Add to Reading List Source URL: paginas.fe.up.pt Language: English - Date: 2015-02-19 10:58:39 Emerging technologies EUROMICRO Synthetic biology Agilent Technologies Memristor Logic synthesis Physical design High-level synthesis European Train Control System Electronic design automation Electronic engineering Technology
350	Computations, algebra and computer algebra in Coq Assia Mahboubi INRIA Microsoft Research Joint Centre (France) INRIA Saclay – ˆIle-de-France ´ Ecole Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2012-01-31 05:29:56 Mathematical logic Functional languages Coq Automated theorem proving Theoretical computer science Boolean algebra Proof assistant National Institute for Research in Computer Science and Control Formal proof Logic Mathematics Software

UPDATE